--Factorial
fact::int->int
fact x = if x>0 then x * (fact (x-1)) else 1 

maint::int
maint =fact 5